一种基于核心数据区监视的交叉验证方法

通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...     

自适应LMS和相关算法在GMI磁传感器信号检测中的应用

在GMI磁传感器的研制中,微弱磁场信号经常淹没于电路固有噪声中。当非晶丝GMI(GiantMagneto-Impedance)磁传感器的输出信噪比小于0dB时,常规的峰值检波方法无法检出传感器信号。针对此问题,提出了一种新的微弱信号(信噪比小于0dB)检测方法,利用LMS自适应滤波算法提取非晶丝GMI磁传感器输出信号的特征参数,将该特征参数与理想参数进行相关运算,并根据相关值的大小来确定信号大小,从而实现对微弱磁信号的测量。仿真结果表明,采用LMS自适应滤波算法和相关分析相结合的方法,对于传感器输出信噪比等于-10dB的微弱信号,根据相关值与外磁场大小的对应关系,仍然可以确定外磁场大小。     

我国将来更高精度CSGM卫星重力测量计划研究

基于卫星跟踪模式的优化选取、关键载荷的优化组合、轨道参数的优化设计、仿真模拟的先期启动和反演方法的优化改进,开展了我国将来CSGM(China’s Satellite Gravity Mission)卫星重力测量计划实施的研究论证。由于卫星跟踪卫星高低/低低(SST-HL/LL)模式对地球中长波重力场的探测精度较高、技术要求相对较低,而且可借鉴当前GRACE卫星的成功经验,因此建议将来CSGM卫星重力测量计划采用SST-HL/LL模式;建议开展激光干涉星间测距仪、复合GPS接收机、非保守力补偿系统、卫星体和加速度计质心调节装置等关键载荷的先期研制;建议将来CSGM卫星的轨道高度(300~400km)和星间距离(100±50km)选择在已有重力卫星的测量盲区;建议将仿真技术应用于CSGM卫星的方案论证、系统设计、部件研制、产品检验、空中使用、故障分析等研发和运行的全过程;对比分析了卫星轨道摄动法、动力学法、能量守恒法和加速度法的优缺点,建议寻求新型、高精度、高效率和全频段的卫星重力反演方法;提出将来CSGM卫星重力测量计划的预期科学目标:在300阶处,累计大地水准面精度和累计重力异常精度分别为1~5cm和1~5mGal。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式,密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

半轻子弱衰变B→()~(*)l=v_1和|V_cb|的抽取

建立相对论性的组分夸克模型,求解了B和(?)、(?)的BS波函数,并计算出B→(?)和B→(?)跃迁强子矩阵元的形状因子及其斜率,进而计算出半轻子弱衰变B→(?)l v_(t)和B→(?)l v_(t)的衰变宽度.与实验值比较定出CKM矩阵元│v_(cb)│=0.042±0.003.     

Perspectives for the development of key industrial capabilities for Canada’s defence sector

With the Canada First Defence Strategy, Canada has put forth a major opportunity to reconcile national security imperatives and industrial policy. The Jenkins Report (2013) set out to examine ways to use that procurement effort to foster key industrial capabilities (KICs) that would put the Canadian defence industry at an advantage both nationally and internationally. The Canadian defence industry should then develop highly focused capabilities with a view to moving up global value chains. As such, KICs that hold the best potential should be selected. They should be sustained through a range of strategies that are however contingent on the elimination of policy gaps. This leads to a balancing act between the need to control intellectual property assets versus accessing them in a world where national boundaries are eroded. Canada’s industry should target opportunities outside North America while continuing to focus on better integration with the North American industry.     

具有空间坐标耦合的二阶集群模型分析

在空间坐标耦合的情形下建立一种改进的二阶分布式集群模型。分析结果显示,如果系统的拓扑结构不变,当其确定的有向图具有有向支撑树并且速度的伴随系数大于某一临界值时,整个群体将随着耦合矩阵的旋转角的变化而呈现出三种集群样式——直线模式、圆柱螺线模式以及对数螺线模式。最后给出了这三种样式所对应的数值仿真结果。     

面向结构洞的指挥控制网络关键节点识别方法

针对目前指挥控制网络关键节点识别方法利用局部信息识别精度低、利用全局信息识别复杂度高的问题,提出了一种面向结构洞的指挥控制网络关键节点识别方法,该方法综合考虑了指挥控制网络结构特征和全局拓扑信息,引入了层级流介数的概念用以计算网络的约束系数。实验分析表明,该方法提高了关键节点识别精度,降低了算法复杂度,更加适用于指挥控制网络关键节点识别的需要。     

使用三个数域的数域筛算法

大整数分解难题是RSA密码的数学安全基础.目前数域筛算法是分解365比特以上大整数的最有效方法,然而它的时间复杂度仍然是亚指数的.对于目前普遍使用的1024比特以上大整数,数域筛算法还不能分解,所以研究数域筛算法具有重要的意义.现有的一般数域筛算法普遍使用两个数域,对多个数域的研究极少.一般数域筛算法经过修改可以使用三个数域,即两个代数数域和一个有理数域.分析表明:修改后的数域筛算法与原来的一般数域筛算法在时间复杂度上处于同一量级.但修改后的数域筛算法有更多地方可以合并计算,所以计算速度更快了.通过两个实验也验证了这一结论.     

论申博立项建设中的信息资源保障

信息资源保障是申博立项和重点学科建设的重要支撑力量。制约当前图书馆信息资源保障能力的主要因素有四个：信息资源短缺、资源共享困难、应用水平低下、重点不够突出。提升信息资源保障能力,可以采取整合各类信息资源、建立联合保障体系、创新信息服务模式、挖掘重点学科资源等对策。